Categorial grammar, modalities and algebraic semantics
نویسنده
چکیده
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Mor-rill [1990], proof-theoretic ideas of Venema [1993b; 1993a] and the theory of equational specifications, a class of resource-preserving logics is defined, for which decidability and completeness theorems are established.
منابع مشابه
Categorial Grammar and the Semantics of Contextual Prepositional Phrases
The paper proposes a semantics for contextual (i.e., Temporal and Locative) Prepositional Phrases (CPPs) like during every meeting, in the garden, when Harry met Sally and where I’m calling from. The semantics is embodied in a multi-modal extension of Combinatory Categoral Grammar (CCG). The grammar allows the strictly monotonic compositional derivation of multiple correct interpretations for “...
متن کاملThe Categorial Framework for Compositional Distributional Semantics
This technical report is concerned with the integration of formal semantics [52, 18] and distributional semantics [62, 70, 11]. Several current attempts at this integration [42, 23, 29] effectively take the logic of formal semantics as a starting point, and then attempt to fill the acknowledged gaps in that framework by using distributional semantics to enrich the logical representations with l...
متن کاملar X iv : m at h / 06 08 16 6 v 1 [ m at h . L O ] 7 A ug 2 00 6 Epistemic actions as resources
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. deceit. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the children are allowed to lie and cheat. Epistemic ...
متن کاملSemantic Composition for Partial Proof Trees
We address the problem of semantic composition in a categorial system based on a hybrid logic. One logic is used for unfolding a categorial type, resulting in a partial derivation. The second logic computes the semantic representation from those partial derivations. We encode the history of the derivation from the rst logic by using bound variables to represent the missing assumptions. Since th...
متن کاملBook Review: Categorial Grammar: Logical Syntax, Semantics, and Processing by Glyn V. Morrill
The title of this book, Categorial Grammar: Logical Syntax, Semantics, and Processing, indicates that this will be a book about categorial grammar. In the preface, however, several strains of categorial grammar are discussed, including combinatory categorial grammar (Steedman 2000), pregroup grammar (Lambek 1999), and abstract categorial grammar (de Groote 2001), and it is clarified that the bo...
متن کامل